Approximate reasoning by similarity-based SLD resolution
نویسندگان
چکیده
منابع مشابه
Approximate Reasoning Based on Similarity
The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composing two closure operators and that the resulting operator is still a closure operator. Also, we extend any similarity into a similarity which is compatible with the logical equivalence, and we prove that this gives the ...
متن کاملSimilarity based approximate reasoning: fuzzy control
This paper presents an approach to similarity based approximate reasoning that elucidates the connection between similarity and existing approaches to inference in approximate reasoning methodology. A set of axioms is proposed to get a reasonable measure of similarity between two fuzzy sets. The similarity between the fact(s) and the antecedent of a rule is used to modify the relation between t...
متن کاملSimilarity in Approximate Reasoning
This paper presents an approach to similarity based approximate reasoning that elucidates the connection between similarity and existing approaches to inference in approximate reasoning methodology. A set of axioms is proposed to compute a reasonable measure of similarity between two fuzzy sets. Such a measure of similarity is then used at different stages to derive a conclusion in approximate ...
متن کاملResolution-Based Approximate Reasoning for OWL DL
We propose a new technique for approximate ABox reasoning with OWL DL ontologies. Essentially, we obtain substantially improved reasoning performance by disregarding non-Horn features of OWL DL. Our approach comes as a side-product of recent research results concerning a new transformation of OWL DL ontologies into negation-free disjunctive datalog [1, 2, 3, 4], and rests on the idea of perform...
متن کاملApproximate reasoning and conflict resolution
Our focus in this work is to provide mechanisms to enable the fuzzy set based approximate reasoning (AR) system to deal with con ̄icts in knowledge. The basic concepts of the theory of AR are introduced. The issue of con ̄ict is raised and some of its bizarre eects are described. We then turn to some modi®cations of the basic AR mechanisms to ameliorate these eects. Two approaches strong and we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(01)00188-8